Piętnaste już wydanie zbioru ćwiczeń przeznaczonego dla słuchaczy studiów, mających w programie jedno- lub dwusemestralny kurs logiki jako dyscypliny pomocniczej. Zawiera serię nowych przykładów, których rozwiązywanie pomoże czytelnikowi w opanowaniu wiadomości, o jakie wzbogacono podręcznik Wprowadzenie do logiki formalnej.Rozwiązywanie zebranych tu zadań wymaga zastosowania podstawowych pojęć i metod elementarnej logiki formalnej. Student osiągnie dzięki temu umiejętność praktycznego wykorzystywania narzędzi formalnologicznych, co będzie pomocne w studiach nad wybraną dziedziną nauki, w przyszłej pracy badawczej czy pedagogicznej.